_MI_SYSTEM_PTE_TYPE

//0x10 bytes (sizeof) struct _MI_SYSTEM_PTE_TYPE { struct _MMPTE* FirstFreePte; //0x0 ULONG* FailureCount; //0x4 struct _KGUARDED_MUTEX* GlobalMutex; //0x8 volatile ULONG TbFlushTimeStamp; //0xc };